Revised, corrected and enlarged, etc.