Danke für die Antwort!
Das ist alles nur zu miete, so dass größere Umbauten oder Außen Verlegung von Kabeln leider ausscheiden ;-)
Mit dem aktuellen Setup (FRITZ!Box unten, Fritz Repeater oben) haben wir zumindest wackeliges Internet.
Daher die Hoffnung, dass man mit besseren Geräten (Sende- und Empfangsleistung) mehr erreichen kann. Ob meine Vermutung stimmt, dass externe Antennen den Unterschied machen können, Versuche ich gerade zu klären…
Ich habe ein bisschen Produktbeschreibungen studiert, allerdings gibt es nur wenig Geräte, bei denen sich der Hersteller über die Reichweite konkret äußert.