"petroleum ether" Deutsche bedeutung