push microswitch - German English Dictionary