20130720: NavTree weiter verbessert