[rwth-security] Hackers leak configs and VPN credentials for 15,000 FortiGate devices