push-button safety switch - German English Dictionary