.DE Registration – best recommended registrar for best price?

Looking for to purchase between 5,000 and 10,000 .DE domains.

Any recommendations for .DE registration (cheap registration cost + set up fee).

Thanks in advance for any feedback in the thread of via PM.