user: Question: What was the lowest number of Total Foreign-born (millions) people, when the number of people Born in a non EU state (millions) was 6.415?
Columns: ['Country', 'Total population (millions)', 'Total Foreign-born (millions)', 'Born in other EU state (millions)', 'Born in a non EU state (millions)']
Types: ['text', 'real', 'real', 'real', 'real']
Sample row: ['Germany', 81.802, 9.812, 3.396, 6.415]
SQL:

assistant: SELECT MIN("Total Foreign-born (millions)") FROM "Table" WHERE "Born in a non EU state (millions)" = 6.415;