Eine mathematische Theorie der Sudokus