Mit den 90ern habe ich gemeint, daß es damals schon Autos gab, in denen die Uhren sich automatisch umgestellt haben.
Mir persönlich ist keins bekannt welches dafür DCF nutzt. Beim Mercedes W211 aus 2009 war definitiv GPS die Zeitquelle und ich bin mir relativ sicher dass es beim E38 aus 1999 (vielleicht auch erst aus 2001, weil ich vom 2001er Navi und Bordmonitor verbaut hatte) auch so war.