Pater Gebhard, the porter of the Kapuzinerberg Monastery