Rekord-Gemüseernte in Deutschland: Über 4,5 Millionen Tonnen geerntet