Wie verbinde ich mich von PCs in der Windows-Domäne uni-tuebingen.de (z.B. Pool-PCs) mit Morgenstern-Chipkarten-Druckern (sog. Gestattungsgeräten)?