IPv4 in einem Subnetz zu IPv6

[Toddi]

Hallo zusammen!

Ich hoffe, in Österreich gibt es jemand der sich mit IPv6 auskennt!

Folgendes...
Ich habe bereits viel zum Thema IPv6 gelesen und auch vieles Verstanden. Mir eröffnet sich allerdings nicht, wie ich eine IPv4 Adresse mit dazugehöriger Subnetzmaske zu einer IPv6 Adresse umwandel.

Nehmen wir das Beispiel 130.103.40.5 (IPv4). Dies würde ich so IPv6 konform umwandeln:
::130.103.40.5 Hybrid-Notation
::8267:2805 IPv6 (inkl. Darstellung in Hex)
Diese Notation ist mir klar! Auch die gemappte Variante mit ::FFFF ist klar!

ABER, nun kommt ein "wissender" Kollege und stellt nun den Präfix einer IPv6 in Verbindung mit einer Subnetzmaske in IPv4:

Beispiel: 134.12.79.84 in der Subnetzmaske 255.240.0.0
er würde dies so darstellen
::134.12.79.89 /116
::860C.4F59 /116

(128 Bit der IPv6 - 12 Bit des IPv4 CIDR)

Das kann doch nicht stimmen, da die ersten 64 Bit bei Ipv6 doch für die Subnetzbildung dienen?!?!?!

Wer kann mir da weiterhelfen? Danke im Voraus!