"Horst Mahler" In Germany