IPs aus einer HTML-Seite auslesen