"micro switch" Deutsche bedeutung