Dateinamen der gecrawlten HTML-Seiten angepasst