mire, mikorra

Helyes-e a mikorra szó helyett a mire szó használata a következő mondatban: mire érnek oda a postán feladott papírok?

A Nyelvművelő kéziszótár a következő példát hozza a kérdezett kifejezésre: mire (amikorra jelentésben) hazaértünk, beesteledett. A kérdezett mondat helyesen: mikorra érnek oda a postán feladott papírok? (DTSz)