What was population of the city where the Dutch retired footballer Foeke Booy born?