The Härtig Quantifier: A Survey