xmlgrep '//a/@href' htmldatei