Ich habe inzwischen die Adresszeile in eine eigene Symbolleiste gelegt. Seitdem ist das Problem bei mir nicht mehr aufgetreten. Aber ich habe keine Ahnung, ob das ein Zufall ist, oder ob da ein Zusammenhang besteht :?
Trotzdem vielen Dank für die Antworten.