[php] Ermitteln des Wochentags

[Musik-Alex]

Wahrscheinlich ganz schnell beantwortet:
Wie kann ich den (deutschen) Wochentag eines Datums ermitteln?
Also, ich hab' in der Datenbank "15.10.2003" und möchte "Mittwoch" erhalten!

Da gibt's doch auch irgendeine Formel oder so!?

Danke,
    Alexander