Vielen Dank, Uhrmacher. Obwohl ja 9 € nicht die Welt sind, ist es schade, diesen Tipp nicht vor zwei Wochen erhalten zu haben, weil ich die Maschine so lange ohne Sensor betrieben habe und wie ein Fuchs aufpassen musste, dass nichts überläuft. Ich hatte ihn aber über mehrere Tage trocknen...