Behoben: MASCOT-Server

Meldungsnummer: 201702131300
Zeitraum: 13.02.2017, 13:00 Uhr
Betroffen: MASCOT-Server
Auswirkungen: MASCOT-Server wieder erreichbar

Der MASCOT-Server läuft wieder.