Hi Udo, falls Du Deinen RaspberryPi noch nicht neu installiert hast: nimm am Besten gleich das Raspbian Image. Das ist nicht nur deutlich schneller (auch für die Middleware), sondern erlaubt die Größenänderung des Filesystems per Menü :-) Und: die RAM-Aufteilung (CPU/Video) lässt sich auch einstellen. Gruss, J.