#OPENBestDiffL
1. Neumann* - - -
2. Dehn - - -
14:56