Baumaßnahmen in Bockleben: Richterhäuschen saniert.