[Update vom 28.09.2018: Die Einrichtung der neuen Geräte verzögert sich. Am 2. Oktober kann daher in allen Bibliotheksbereichen wie gewohnt gedruckt und kopiert werden.]
Am
2. Oktober 2018 werden in allen Bibliotheksbereichen neue Druck- und Kopiergeräte installiert. An diesem Tag ist deshalb drucken und kopieren nicht möglich.