No summer international football for Ter Stegen