push-button switch with manual release of a latch - Spanisch Englisch Wörterbuch