Ich habe inzwischen mein System über das Festplattendienstprogramm aus dem letzten Time Machine Backup neu aufgesetzt. Jetzt funktioniert es wieder. Ich glaube einfach, daß eine Datei beschädigt war und das Kopieren durch Time Machine verhindert hat.