6257 ) Rättens ombudsman.