nico@207: \hypertarget{namespaceDS301__index_1_1_5}{
nico@207: \section{DS301\_\-index::$\ast$ Namespace Reference}
nico@207: \label{namespaceDS301__index_1_1_5}\index{DS301_index::*@{DS301\_\-index::$\ast$}}
nico@207: }
nico@207: 
nico@207: