Germany boss Julian Nagelsmann left shocked by Marc Ter Stegen injury