Regesta imperii - Opll, Ferdinand; Böhmer, Johann Friedrich (Regesta imperii)