Kostenrahmen Hohlsteindecke bei Altbausanierung

Hallo!

In einem alten, lange leerstehenden Bauernhaus sollen durch Echten Hausschwamm & Co zerfressene Holzbalkendecken durch Hohlsteindecken ersetzt werden.
Das ist ein gangbarer Weg, um eine komplette Schwammsanierung der Außenwände und tragenden Innenwände zu umgehen (siehe DIN 68800-4, 4.3.1.).
Mit fehlt jegliche Idee, welche Kosten allein mit der neuen Hohlsteindecke auf mich zukommen könnten.
Ein paar Daten-Annahmen:
- Wände: Ziegelwände Vollstein 24cm oder dicker
- Nutzung: Wohnraum (Verkehrslast 1,5kN/qm)
- FuBo-Heizung: Nein
- Spannweite der Träger: typisch 5m
- Montageort zugänglich für Transportbeton: ja
- Gesamtfläche: ca. 300qm
Vielleicht hat der Eine oder Andere ähnliches schon gemacht - sei es als Bauherr oder Baufirma -. Mir ist klar, dass es unterschiedlichste Produkte und Hersteller gibt. Natürlich brauche ich auch einen Statiker.

Aber, Praxis zählt - Wie habt ihr gebaut?
Ich wäre für ein paar Infos dankbar:
- Wie groß ist die Gesamt-Dicke der neuen Decke (Steinhöhe + ggf. Aufbeton)
- Etwa-Kosten je qm für die Decke (ohne Abbruch/Entsorgung der alten Decken); toll wäre, wenn ihr das in Materialkosten und Arbeitsleistung unterteilt wüsstet.

Danke und schöne Grüße,
Paul