Wie groß muss eine Haflinger Box sein?