Zur Oberbürgermeisterwahl am 12. Juni in Bautzen