Danke. 
Den Hinweis habe ich nach einem Ausflug gesetzt. Damals habe ich noch nicht editiert, sonst hätte ich das selbst erledigt. Und als ich mit dem Editieren vor eineinviertel Jahren anfing, hatte ich diesen Hinweis längst vergessen. Ist halt am günstigsten, wenn man seine Hinweise selbst bearbeiten kann.