Hans Jürgen Prömel — German mathematician