Check_MK Werk 5922: Windows agent: Many WMI queries could lead to integer overflow