The script for reproducing bug #12670 (https://gna.org/bugs/index.php?12670) now works.
This bug was reported by Michael Funk (mifu att nmr dot mpibpc dot mpg dot de).
Authored by: bugman 2008-12-03
Parent: [r8099]
Child: [r8101]
