Malfunction solved: Aleph production server

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.