Grasser musste notoperiert werden.