"Fuchssee"@cs .