Thomas Ebendorfer. Ein österreichischer Geschichtsschreiber, Theologe und Diplomat des 15. Jahrhunderts