Garching bei München — city in Bavaria, Germany