"Fritz Lauerbach"@cs .