HolidayCheck Group AG publishes nine-month results for 2019