How can one find out the serial number of a CodeMeter dongle?