Wischintervallrelais (Nomen)