In memoriam Carl Troll