Should Germany's Christoph Kramer have been allowed to continue playing after his head injury?