Bei mir funktioniert alles wieder. Das Hostsystem hat jetzt 2G mehr RAM als letzte Woche (afair), scheint also wirklich eine andere Hardware zu sein.
Der Ausfall hat mich aber doch zum Nachdenken gebracht, ob ein Providerwechsel wenn schon nicht billiger, eben doch preiswerter ist.