2018-05-07: The server crashed at around noon, so I had to restore it from a backup, which was from 06.00h this morning. Any posts between 06.00 and 15.00 were lost. Sorry for that.