Hi Benjamin,
Do you have diff3? Have you tried wikidiff2? http://www.mediawiki.org/wiki/Manual:$wgExternalDiffEngine
diff3 is enabled and available, but upgrading to wikidiff2 (and enhancing the memory limit a bit) did the trick -- thanks a lot!
Florian