Regesta imperii - Böhmer, Johann Friedrich