Hi, what is the source of the ski area addition? I was just there and there is no trace of a ski area. From some searching I think this ski area only existed temporarily in 2008: https://www.merkur.de/lokales/muenchen/keine-pistengaudi-muellberg-2591085.html