Now it's finished (some errors corrected).