4266 ) Rättens ombudsman.