I would say, since the ef42 was not produced in 1979 anymore (As far as I know), it should be the ef80, which by the way works pretty good in a microphone circuit, but tends to be microphonic and noisy. But since this tube is dirt cheap and plenty, you can try a few till you find a good one. In my experience with the ef800, which is a telefunken special quality ef80 you need less sorting out and the chance to get a good one is much better. But of course this one is more expensive and I might have been simply lucky.
Tobias