12.5.: Ausfall miami

Am Mittwoch, 12.5. steht der WWU-Publikationsserver miami aufgrund von Wartungsarbeiten voraussichtlich bis zum Nachmittag nicht zur Verfügung.