Was verdient ein Haustechniker im öffentlichen Dienst?