Osterode. Bürgermeister Becker dankte den Mitarbeitern.