Hi Stanimir,
thanks for finding an explanation.
But this is not an answer to my question.
Well this problem happened just once in a period of two months, so I am not worried about a potential second occurrence. And for the moment I will take as answer 1) that there is no hotline for me and 2) that I should wait some hours and hope that the problem will disappear again.
Regards,
Michael