Wie viele Einwohner hat Garching bei München?

Wie viele Einwohner hat Garching bei München?
http://www.expressantwort.com/wie-viele-einwohner-hat-garching-bei-munchen-158166.html