Wildesheimiensis monasterii Sancti Michaelis liber.