Aber immerhin ein ordentlicher Beleg, danke an 192.0.2.255 fürs Raussuchen (ich hätte selber auch geschaut, aber in "meiner" Bibliothek gab's nur die englische Version). Aber so ganz toll gefällt mir "Gleichzerschneidung" auch nicht. Vielleicht wäre es doch besser den Artikel irgendwie nach dem Problem oder nach dem Satz zu benennen, aber wie genau? -- HilberTraum 20:29, 15. Okt. 2013 (CEST)