Sounds like a lot. I wonder how much it costs on average in Germany at the moment. I've lost track. I have to check