Some additional remarks (and html-corrections).