Deutsche Rangliste OK 2019

Execution time: 20.6535470486 seconds