title: Formatting DateTime object, respecting Locale::getDefault()
body: <p>I have a DateTime object which I'm currently formating via</p>
  
  <pre><code>$mytime-&gt;format("D d.m.Y")
  </code></pre>
  
  <p>Which gives me exactly the format I need:</p>
  
  <blockquote>
    <p>Tue 5.3.2012</p>
  </blockquote>
  
  <p>The only missing point is the correct language. I need German translation of <code>Tue</code> (<code>Tuesday</code>), which is <code>Die</code> (<code>Dienstag</code>).</p>
  
  <p>This gives me the right locale setting</p>
  
  <pre><code>Locale::getDefault()
  </code></pre>
  
  <p>But I don't know how to tell <code>DateTime::format</code> to use it.</p>
  
  <p>Isn't there a way to do something like:</p>
  
  <pre><code>$mytime-&gt;format("D d.m.Y", \Locale::getDefault());
  </code></pre>