For those who wonder – the server was down from Saturday afternoon on – and for lack of any explanation by the service provider, I can’t even tell you why. Before that, it had worked without any noticeable interruptions for 4 weeks. I hope it won’t happen again.
Still too hot. Still too busy. More later.