"petroleum" Deutsche bedeutung