Wie das Rathaus der Stadt Trier heute mitteilte gelten in den Ferien und über die Feiertage für eine Reihe städtischer Einrichtungen geänderte Öffnungszeiten.