tropicalization - German English Dictionary