» Published on Sun, 10 Jun 2018 00:00:00 +0000

• Update

  The issue first occurred on 09.06.2017 ~10:30h. The times of the initial message were adopted.

  » Updated Mon, 11 Jun 2018 08:50:00 +0000

• Resolved

  Between 09.06.2018 ~10:30 CEST and 11.06.2018 08:40 CEST services on one search server suffered from search outages. All services are fully operational again, but we are currently investigating what caused the issue and how to prevent this in future.

  » Updated Sat, 09 Jun 2018 08:30:00 +0000