You might also know this place by the following names:
Hallgarten, Хальгартен, Халгартен, DEHG6, 哈尔加尔滕