The Magdeburger Reiter: a tinted sandstone equestrian monument, c. 1240, traditionally intended as a portrait of Otto I, Magdeburg