[math-fun] Robert Ammann [was Help wanted ...]