Wischintervallschalter (Nomen)