Eduard Sthamer (1883-1938). Werdegang und Lebenswerk eines deutschen Mediaevisten