Translation of "Tropicalization" in German