Is the oxygen supply to the brain tissue sufficient after severe brain injury?Oxygen and carbon dioxide pressure in arterial blood and in venous cerebral blood