"Wolf Hirth"@cs .