Regesta imperii - Boehmer, Johann Friedrich (Wagner, 1877)