für traveller: petroleum in einigen wichtigen sprachen