Regesta imperii - Baaken, Gerhard; Böhmer, Johann Friedrich