Sources for the history of medieval Europe from the mid-eighth to the mid-thirteenth century