Olai Magni Hiftotia gent.