Prinz-Eugen-Park, München