GNOME-Speicherleck geschlossen