Ich habe meine Grafikkarte getauscht und trotz der damit verbundenen wilden Bastelei (u.a. habe ich den CPU-Lüfter entfernt und mit der Zahnbürste gesäubert) funktioniert der Rechner hinter noch (wieder). Im Herbst gibt es wohl dann eh einen neuen Rechner - aber bis dahin läuft er jetzt hoffentlich stabil. :)