Historische Quellen zu Heinrich Bochmann