function getFullName(st)
{
  if (st == "gattai13") return "Gattai-13 (Monster Samurai)";
  if (st == "gattai8") return "Gattai-8 (Monster Samurai)";
  if (st == "gattai5") return "Gattai-5";
  if (st == "3doku") return "3Doku";
  if (st == "2doku-1") return "2Doku";
  if (st == "16x16-1") return "16x16 Sudoku";
  if (st == "15x15-1") return "15x15 Sudoku";
  if (st == "12x12-1") return "12x12 Sudoku";
  if (st == "11x11-1") return "11x11 Sudoku";
  if (st == "10x10-1") return "10x10 Sudoku";
  if (st == "9x9-1") return "klassisches Sudoku";
  if (st == "9x9-2") return "9x9 Sudoku Typ 2";
  if (st == "8x8-1") return "8x8 Sudoku Typ 1";
  if (st == "8x8-2") return "8x8 Sudoku Typ 2";
  if (st == "7x7-1") return "7x7 Sudoku";
  if (st == "6x6-1") return "6x6 Sudoku Typ 1";
  if (st == "6x6-2") return "6x6 Sudoku Typ 2";
  return "Sudoku";
}