Hochgatterer, Paulus