Wie groß ist Lucky Luke?