https://industriet.com/what-are-explosion-proof-push-buttons/