Ich weiß nicht, was gemacht oder geändert wurde. Gerade habe ich es noch einmal getestet und plötzlich ging es. Unter der Woche und letztes Wochenende war das noch nicht der Fall (...und ich habe über Ctrl+R genau die Befehle aus der History heute wie und unter der Woche verwendet).
Von daher sag ich mal: Vielen Dank.