GPL-Prozess gegen VMware beendet