OK, ich habe den Treiber jetzt im Server --> Druckserver eingespielt und bei allen Clients für den virtuellen PDF24-Drucker als zu verwendenden Treiber definiert. Damit wird der Drucker auch auf dem Terminalserver korrekt verbunden und umgeleitet.