Malfunction solved: Aleph production server

[sc name=“head_betriebsmeldungen_en“ message_id=“202104181257″ time=“18.04.2021, app. 8 am to 12:45 pm“ affected=“aleph.mpg.de“ impact=“non-availability“ ]

The problem has been solved and the server is available again.