Danke!
Ups, ich Depp: jetzt sehe ich erst, dass es zu solchen Problemen ja sogar einen speziellen Thread gibt, der
auch die aktuellen Probleme behandelt.
Das hatte ich vorhin irgendwie übersehen. Entschuldigt vielmals diesen damit unnötigen Thread -- wenn ein Moderator diesen Thread löschen kann/möchte, dann nur zu.
Sorry und nochmals vielen Dank!