3927 ) Rättens ombudsman.