You might also know this place by the following names:
Jelení vrch [Loket-Údolí], Jeleni vrch [Loket-Udoli]