5256 ) Rättens ombudsman.