$r = date_parse("8:16:12 01.02.2008");
$d = mktime($r['hour'], $r['minute'], $r['second'], $r['month'], $r['day'], $r['year']);
echo date("H:i:s d.m.Y", $d);

Prints out the following:

8:16:12 01.02.2008