3970 ) Rättens ombudsman.