Reglamento de Ejecución (UE) 2017/1145 de la Comisión, de 8 de junio de 2017, relativo a la retirada del mercado de determinados aditivos para piensos autorizados con arreglo a las Directivas 70/524/CEE y 82/471/CEE del Consejo y por el que se derogan las disposiciones obsoletas por las que se autorizaron estos aditivos para piensos (Texto pertinente a efectos del EEE)