Hohlmühle - микрорайон на карте города Баварии.
Приблизительные координаты микрорайона Hohlmühle на Openstreetmap карте: 49.9190488, 11.5938445