"Colditz"@cs .