Formale Genetik und Populationsgenetik des Inv-Polymorphismus