All these // Datei: header are no more needed since we no more need to export stuff into an SVN repository with a different directory and file layout. So we basically can remove all these kind of headers. Shall we do that or are there any other use cases left?