helgdagar under juni — augusti ) 10.279,45