HP EliteBook 840 G5 or other EliteBook models. Even on Debian everything works fine after a clean install (including special keys), they never die and have a pleasant design. You can get one second hand, modern i7 (8th gen +) CPU + 16 GB of RAM for around 500€.