Nach Anschlag in Berlin: Deutsche Polizei verschärft Grenzkontrollen