Friedrich Barbarossa, First Holy Roman Emperor, c.