[rwth-security] Neuerungen ab Firefox 70 (10.2019)