COUNCIL IMPLEMENTING REGULATION (EU) 2024/3152 of 16 December 2024 implementing Regulation (EU) 2017/1509 concerning restrictive measures against the Democratic People’s Republic of Korea