etwas spät, aber wie viel Arbeitspeicher hat der Mini ? Hier mit 16GB gibt es eigentlich so gut wie keine Probs n/t