hagen , Ranft m . fl.