Einardus, librarius