Definition of Hauthoner