Historische Quellen zu Johann Heinrich Bochmann