GDP figure published before European Central Bank cut its benchmark rate to lowest level since early 2023