[php] Datum formatieren

[arts4fun]

Hallo an Alle,
kann mir bitte jemand bei was total simplen helfen...?

Aus der DB kommt ein dort gespeichertes Datum im Format
2002-07-12

Wenn ich jetzt schreibe:
print "$datum";
dann sieht es natürlich auch wieder so aus: 2002-07-12

Ich hätte aber gern: 12.07.2002

Wie bitte geht das; seit einer Stunde probiere ich rum, aber leider ohne
Erfolg.

Bitte um einen Tipp und vielen Dank im voraus

Stefan