An AMD laptop for 200-250 would be a steal, IMO. The performance is far better (for comparison https://openbenchmarking.org/result/1912177-HU-MANJAROPO12) and x86 support is something I wouldn't want to pass on if I didn't have to. Unfortunately, even the cheapest ones in Germany go for at least 330 Euros.