Optionen non-greedy matchen, weil ansonsten HTML-Kommentar-Ende nicht richtig gematch...