Add tooltip for toggling numerated headers

including German and English translations for the button