Correction to: Fedor Krause (1857–1937): the father of neurosurgery (Neurosurgical Review, (2019), 10.1007/s10143-019-01186-1)