deleted dead code that was commented out since more than 3 months.
Authored by: mrieser 2009-08-13
Parent: [r8371]
Child: [r8373]
