Faber–Krahn inequalities in sharp quantitative form