Tonderškofel, v prevodu menda Grmeča gora