4160 ) Rättens ombudsman.