What grinder to buy below 1000$

A friend of mine wants to buy a new setup and is looking at a dual boiler E61 or maybe a LM Mini or Micra.

Which grinder would you recommend for him?

Home use, 3-6 shots per day, mostly dark roasts, probably single dosing

Location is Germany/Europe

Thanks a lot!