( Ur hrr E. Springmann * $'