[mudjumper]

@karl: ist richtig. Aber wenn man schon dabei ist, schadet ein Update (meiner Erfahrung nach) nicht und man wird oft noch einige mysteriöse Effekte los.