Commission Regulation (EEC) No 3517/92 of 4 December 1992 on imports of certain processed mushroom products originating in Poland and South Korea and repealing Regulation (EEC) No 2943/92