læs XML fil fra anden server

jeg har en xml fil på fx server1.dk, der fx kunne se sådan her ud:

<?xml version="1.0" encoding="iso-8859-1" ?>
<stat>
  <antal>12</antal>
  <navn>hans hansen</navn>
</stat>


-hvordan læser jeg den ind på server2.dk, og læser de to værdier over i disse to variabler: xml_antal og xml_navn ?



ps. jeg er godt klar over at jeg har et lign. spørgsmål i php-sektionen, men jeg har brug for en løsning i både php og asp.