Ulrich Grauert: razlika med redakcijama