European Criminal Records Information System, een geautomatiseerd systeem voor de uitwisseling van gegevens over strafrechtelijke veroordelingen tussen de EU-lidstaten