Kurzer Zwischenstand übrigens bei der Kopfhörer-/Individuelle-Hörschlaufe-Lösung:
kurzfristig gekaufter Kopfhörerverstärker hat nicht ausgereicht, 10 dB Verstärkung haben sich als viel zu wenig herrausgestellt, Test mit mehreren Kopfhörern, Regler des Verstärkers auf Anschlag. Das größte was ich bisher gefunden hab waren 20dB, aber selbst das dürfte tendenziell noch zu wenig sein. Übliche Bluetooth-Kopfhörer sind deutlich lauter (aber auch ungeeignet, wegen der Verzögerung).
Das nur, falls jemand anderes ähnliche Pläne schmiedet. Muss ja nicht jeder den selben Fehler machen.