Ask HN: What's the cheapest stand-alone camera that's better than the OnePlus 7?
What is the cheapest stand-alone camera that takes pictures of better quality than the best cell-phone camera?
<joke>If you think this is off-topic, let me remind you that this is an optimisation problem</joke>
Slightly more context:
My smartphone's (Xiaomi A1) camera broke, and I am trying to choose between buying a new phone (OnePlus 7, 560-700 euro-ish) and buying a standalone camera. I don't need a new phone - the one that I have works. I do not care about photography, it's just that I would like to have _something_ decent to take pictures with when I travel. Repairing my phone's camera is not something I want to do since it was a bad camera to begin with. That puts me squarely in the category of "smartphone upgrader" in terms of what camera I want to buy.
So what is the cheapest camera that gives slightly better images than the OnePlus 7, while being (considerably) cheaper than this phone? My budget is around 350 euros.