int_vector größe angepasst