Wie viele Ausländer leben in Kiel?