Coronavirus pandemic in Europe: Germany introduces tough checks at some borders