German foreign investment in holiday properties