Was verdient ein schulhausmeister im öffentlichen Dienst?