Brandnerschrofen - der höchste Tegelberggipfel