Beware! The OP was originally at a good provider which got bought out by Team Internet. See:
https://news.ycombinator.com/item?id=42364033
If you take a look at:
https://www.domaindiscount24.com/en/about-us
You will see that Team Internet owns them as well. So I would personally bve on the fence if I would consider them good or not.
Thanks! I did not know that. I mentioned them because I have never had trouble with them over some decades.
They were my second registrar. In fact more like the first "real" registrar, because before and in the 90s I registered via a one-man show.
But of course things can change. Let's see how this develops.