helgdagar under juni — augusti ).