Diversity. A word with Thomas Biedermann