[rwth-security] Microsoft confirms Windows Server Update Services (WSUS) sync is broken