Commission Implementing Regulation (EU) 2023/1451 of 13 July 2023 amending Implementing Regulation (EU) 2020/2002 as regards disease notification and the information to be submitted by the Member States for the approval and reporting of compulsory and optional eradication programmes and in applications for disease-free status (Text with EEA relevance)