eintrittsinvariant