2256 ) Rättens ombudsman.