derstedt ( 13 r . liv , );