* Fix some wrong links in german HTML manual.
Authored by: mandrav 2007-10-30
Parent: [r4580]
Child: [r4582]