J. F. Böhmer, Regesta Imperii, VI (Benoît-Michel Tock)