Improved the English translation.