[MANUAL] German:
treee01073135ca1e7635dd26969916640b7199d30a7
-rw-r--r-- 3438 INSTALL.txt
-rw-r--r-- 1548 LICENSE.txt
-rw-r--r-- 1852 README.txt
drwxr-xr-x - bin
drwxr-xr-x - demos
drwxr-xr-x - documentation
drwxr-xr-x - library
drwxr-xr-x - resources
drwxr-xr-x - tests