De esta forma nació la leyenda del rey bajo la montaña, que fue popularizada por los hermanos Grimm y posteriormente se aplicó de manera retrospectiva a Carlomagno y Federico Barbarroja.