Regesta imperii. - Böhmer, Johann Friedrich, 1795-1863 (Georg Olms, 1968)