Small Height and Infinite Non-Abelian Extensions - Philipp Habegger