Danke für den Hinweis - die Beschwerde bei der BNetzA wird eingetütet.
Der Hinweis zur öffentlichen IPv4 im PP findet sich im Providerschreiben mit den Zugangsdaten - unterhalb des Absatzes mit dem PPPoE-User/-Passwort steht der allgemeine Hinweis, dass DS-Lite aktiviert werden müsse, außer man hat das Professional Package.
EDIT: Genauer Wortlaut im Schreiben mit den Zugangsdaten
Funktionstest war übrigens bislang negativ. Ich habe DS-Lite in der Fritzbox deaktiviert, anschließend war aber nur Kommunikation via IPv6 möglich, eine IPv4 wurde nicht zugewiesen, auch nicht nach einem Reboot.
Die Kundenbetreuung weiß leider nicht was eine öffentliche IP-Adresse ist. Ich habe per E-Mail reklamiert, drückt mir die Daumen.