“They use smart cards as a means to identify drivers and ensure the tachograph's security functions by allowing totally reliable recording and outputting of driving time and speed.”