pingstdagen den 17 maj.