Regesta Imperii - Böhmer, Johann Friedrich