Some very minor changes after Lothar include the bulk of the comments.