Small changes; translation to english.