[Dune] bugfix before release 1.0.

[Andreas Dedner]

Hallo,
ich war seit ende Sept. (von mir umbemerkt) aus dem
Vereiler geflogen - dune-commit ging noch daher war
mir das gar nicht gross aufgefallen (ich dachte es
sei ja Vorlesungsfrei...) Da hab ich ja jetzt im Archiv
einiges Nachzuholen :-)


Da ja nun eh alle fuer das Release gestimmt haben,
wuerd ich auch sagen - bringen wir es hinter uns, damit
wenigsten mal irgentwo 1.0 steht!

Gruss und hoffentlich wieder 
zurueck in der Liste
Andreas