Gemäß den Konventionen für LEDA-Versionen < 5.0 binden wir hier die Datei LEDA/string.h wie folgte in: ###>According to the conventions for LEDA versions prior to 5.0, we include the file string.h here as follows: