It’s past time for it. Otherwise known, of course, as the Deutschemark.