Wann ist ein Sudoku eindeutig lösbar?