2008/7/6 Monika Krug <monika.uni at arcor.de>: > Oder apt-get statt aptitude verwenden, das ist nicht so deinstallierwütig. Ja, man sollte sich nur für eins entscheiden und das dann durchziehen. Robert