Martin Grötschel Editor