The work of Holger Niehaus