helgdagar ) , 7,19 e.