hvilka den 17 maj och vid andra högtidliga tillfällen hissa den » rena » flaggan.