Translation improved. Formatting fixed a bit (spaces are replaced by tabs when necessary).