Die wunderbare Katherine Johnson ist gestorben. Sie