Hochkogelberg on Randegg map