Derefter begaf man sig iprocession