Was verdient ein Müllmann im öffentlichen Dienst?