There was a leaderboard, but I am not able to find that anymore, so I guess that it was taken down by the developers. German11 was on the top if I am not mistaken. Also take a look at this study, where are mentioned all players with 100k+ games. lichess.org/study/pdeiR8xq