6253 ) Rättens ombudsman.