Translation of "Patch deployment" in German