Gif to Jpg

Hi Leude, ich hab mal ne frage, weiss jemand wie ich unter linux ein Gif zu Jpg umwandle? und noch ne frage, kennt sich jemand mit php aus und weiss vielleicht wie ich am besten eine gif-datei mit php von einem fremden server auf meinem server abspeichere? Danke schonmal im Vorraus Michael