Manchmal ist das Drücken der Reset-Taste der beste Ausweg. Bei der gestrigen Diskussion scheint mir das aus heutiger Sicht so gewesen zu sein.