Bugfix: in php formatierte Datums- und Zeitangaben in deutscher Lokale