Verkürzte Sommeröffnungszeiten der Mediathek (Juli und August): Montag bis Freitag von 10.00 bis 17.00 Uhr.

Changed opening times of the media library during summer (July/August): Mon till Fri, 10am-5pm.