"Walchwil"@cs .