Wie groß wird ein Westfalenterrier?