Wie groß wird ein Rotahorn?