"J\u00FCrgen Brauer"@cs .