Wiedereröffnung des öffentlichen Betriebsrestaurants in der AOK