helgdagar ) , 7,19 e. mi.