Dimension eines Vektorraumes (Vektorraum)