Elektrisch en pneumatisch bediende ventielen