Jonah from Germany is a Pro at Tough Sudoku