I anledning deraf har domprosten'