Nie wiem czy znajdziesz tam akurat DXF-a, ale wszystko to są wektory, więc ..... wystarczy pobrać to co Cię interesuje, a następnie wrzucić do jakiegokolwiek edytora wektorowego który importuje plik w formacie który pobrałeś i który jednocześnie ma możliwość eksportu do DXF-a.