Wie verlief die Grenze zwischen Ost und Westberlin?