och ; pingstdag den 17 maj.