Was verdient ein Elektromeister im öffentlichen Dienst?