Vielen Dank!
Dann werde ich die auskommentierte Stelle mal ganz entfernen.
Ist diese Datei fester Bestandteil des Profilordners, d.h., muss sie auch im dann "leeren" Zustand im Profilordner verbleiben, oder könnte sie auch gelöscht werden? Wie gesagt, ich weiß nicht mehr, ob ich sie damals nach Anweisung selbst angelegt habe oder ob sie "von Haus aus" vorhanden ist und nicht gelöscht werden darf. Würde mich freuen, wenn das hier noch jemnad klären könnte.