When to use a push button - Grau GmbH Hardware & Software Solutions