Bought my son a Nokia 5.3 for 180 euros, completely surprised by how well it works. If I had to buy my own phone (currently have a company iPhone 11) I would seriously consider the Nokia 5.3 for myself.
5.3 being newer than the 7.2, but down one class in "feature set"?