gen den 20 Maj ( Pingstdagen ) .--