Translations: Mainly German and some other small corrections