Jetzt patchen! Rund 7000 WatchGuard-Firewalls in Deutschland noch verwundbar