Hallo HaMF,
danke für deine Antwort, es sieht aber so aus, als hätte sich das Problem heute von alleine gelöst. Nachdem ich den Rechner hochgefahren hatte und die Theme-Installation nochmal probieren wollte, stellte sich heraus, dass alles wieder normal lief. Anscheinend wäre nur ein Systemneustart nötig gewesen! Da hätte ich in der Tat auch früher drauf kommen können.
Nochmal Danke!
Gruß Günter