The problem seems to have disappeared with one of the recent updates. I will give it some more tries, then we may close that ticket.