"Ivo Grabm\u00FCller"@cs .