Yes, a Mini in those days was a mini. That is a small car. Mini = minimum?

the German one should now be called a Maxi