Virgo Eva - Virgo Maria - Koch, Hugo (Arbeiten zur Kirchengeschichte, 1937)