Hallo Finn,
danke für deine Antwort. Aber wie ich schon in meinem ersten Post geschrieben habe, hat eine Update-Wiederholung (allerdings nicht direkt danach, sondern erst als das Problem entdeckt wurde) den Fehler nicht behoben. Soweit ich mich erinnern kann, ist das Update auch komplett durchgelaufen. Allerdings ist die Installation mittlerweile auch schon 9 Jahre alt und hat deshalb auch schon früher das ein oder andere Update durchlaufen. Möglich, dass da Altlasten zurückgeblieben sind.