[RWTH-Einrichtungen] Betrieb der Hausdruckerei/Zentrale Vervielfältigungsstelle