Um 12:00 Uhr mittags in Deutschland ist es in Roncesvalles erst 6:00 Uhr.