När den vanliga gudstjensten var slut,