Textmeddelande: Approximation Schemes for First−Order Definable Optimisation Problems