Enthaelt einen patch in wmi.c