Gstrein, Hippolit, Dr.