Reißleinenschalter (Nomen)