helgedagar ) , 12,15 e.