Regesta imperii - Ficker, Julius von; Winkelmann, Eduard; Böhmer, Johann Friedrich (Regesta imperii)