time() formatieren

[Hannes]

Hallo Leute,

wie kann ich aus der time()-Ausgabe ein formatiertes Datum machen (z.B. 02.01.03 20:50 Uhr)
Dankschön!