"Peter Achtmann"@cs .