9 ( pingstdagen .)