German->English translations.