Wärmedämmung

Prosa-Definition¶

Eine Wärmedämmung ist eine Schicht eines Bauteilaufbaus, deren funktionale Rolle die Begrenzung des Wärmestroms durch das Bauteil ist, dadurch dass sie aus einem werkmässig oder an der Verwendungsstelle hergestellten Stoff geringer Wärmeleitfähigkeit mit positiver Dicke besteht und im Aufbau zwischen zwei thermisch unterschiedlichen Halbräumen liegt.

Mathematische Definition¶

Sei

A = (𝒟, 𝒮, H) ein Dachaufbau im Sinne von dachaufbau mit Dachflächen-Familie 𝒟 = { D₁, …, D_m }, geordneter Schichtfolge 𝒮 = (S₁, …, S_k) von innen nach aussen, und Dachhaut H,
F := ⋃_{i=1..m} F(P_i) ⊂ ℝ³ der Trägerbereich der Dachflächen,
ein Index j ∈ { 1, …, k } so gewählt, dass die Schicht S_{j} die Funktionsklasse SchichtFunktion.WAERMEDAEMMUNG trägt,
d_{j} ∈ ℝ_{>0} (in mm) die Dicke von S_{j},
m ∈ ℳ ein Material aus der Materialklasse ℳ := { MINERALWOLLE, HOLZFASER, ZELLULOSE, PUR_PIR, EPS, XPS, HANF, SCHAFWOLLE, FLACHS, SONSTIGE } gemäss den Produkt-Normen DIN EN 13162–13171, EN 15101-1 sowie nationalen Zulassungen,
λ ∈ ℝ_{>0} (in W/(m·K)) der Bemessungswert der Wärmeleitfähigkeit (λ_B aus dem Nennwert λ_D der Produkt-Norm abgeleitet),
ρ ∈ ℝ_{>0} (in kg/m³) die Rohdichte,
c_p ∈ ℝ_{>0} (in J/(kg·K)) die spezifische Wärmekapazität,
σ ∈ Σ ein konstruktiver Subtyp aus der sealed-Familie Σ := { ZWISCHENSPARREN, AUFSPARREN, UNTERSPARREN, SONSTIGE }.

Dann ist eine Wärmedämmung das Septupel

W := (𝒟, S_{j*}, m, λ, ρ, c_p, σ)

mit den Konsistenzbedingungen

Funktionsklasse: S_{j*}.funktion = WAERMEDAEMMUNG.
Positive Dicke: d_{j*} > Toleranzen.LAENGE_EPS.
Positive Materialkennwerte: λ > 0, ρ > 0, c_p > 0.
Wärmeleitfähigkeits-Wertebereich (Plausibilität, nicht normativ erzwungen): 0,015 ≤ λ ≤ 0,070 W/(m·K) deckt den gesamten Wertebereich der Produkt-Normen DIN EN 13162–13171 ab. Werte ausserhalb erzeugen eine Plausibilitäts-Warnung, keinen harten Fehler — Begriffe (z. B. Vakuumdämmung, Aerogel) liegen unterhalb, ungewöhnliche Schüttungen oberhalb.
Träger-Konsistenz: S_{j*} ist über F definiert (gleiche Träger-Dachflächen wie A).
Subtyp-Lage-Konsistenz: σ ist mit der Lage des Index j* in der Schichtfolge 𝒮 verträglich, im Sinne der folgenden Schichtfolgen-Bedingung. Sei T ⊂ { 1, …, k } die Indexmenge der Tragwerksebene (Sparren-/Schalungs-Schicht). Dann:
σ = ZWISCHENSPARREN ⇒ j* ∈ T (Wärmedämmung liegt in der Tragwerksebene, im Sparrenfeld);
σ = AUFSPARREN ⇒ j* > max T (Wärmedämmung liegt äusser- halb / oberhalb der Tragwerksebene);
σ = UNTERSPARREN ⇒ j* < min T (Wärmedämmung liegt innen / raumseitig der Tragwerksebene);
σ = SONSTIGE: keine Lagebedingung (Flachdach, vollflächige Dämmung ohne Sparren-Bezug).

Der Wärmedurchlasswiderstand der Wärmedämmungs-Schicht ist abgeleitet:

R_W := d_{j*} / λ   (m²·K/W).

Der U-Wert des Gesamtaufbaus und die Bewertung gegen eine Norm-Anforderung sind keine Bestandteile der Begriffsdefinition; sie folgen aus DIN EN ISO 6946 und werden in den parametrischen Funktionen klassifiziereNachUWert(u, norm) und pruefeWaermeschutzAnforderung(u, norm, bauteilArt, massnahmenArt) materialisiert.

Wohldefiniertheit¶

Existenz: Für jeden Dachaufbau A mit mindestens einer Schicht der Funktionsklasse WAERMEDAEMMUNG, ein zugeordnetes Material m mit positiven Kennwerten (λ, ρ, c_p) und einen konstruktiven Subtyp σ, dessen Lage-Bedingung (6) erfüllt ist, ist W wohldefiniert.
Eindeutigkeit der Material- und Subtyp-Komponenten: m ∈ ℳ und σ ∈ Σ sind enum-wertig und damit per Konstruktion eindeutig. Die Kennwerte λ, ρ, c_p sind reelle Eingabeparameter; sie sind eindeutig pro Tupel-Instanz.
Eindeutigkeit der Wärmedämmungs-Schicht im Aufbau: Die Definition lässt offen, ob ein Dachaufbau eine oder mehrere Schichten der Funktionsklasse WAERMEDAEMMUNG enthält. Im typischen Sanierungs-Aufbau (Zwischensparren + Untersparrendämmung; Zwischensparren + Aufsparrendämmung) zerfällt W in mehrere Wärmedämmungs-Instanzen, je Funktionsschicht eine. Die Lage-Bedingung (6) prüft jede Instanz separat.
Orthogonalität Material ↔ Subtyp: Jede Kombination (m, σ) ∈ ℳ × Σ ist konstruktiv zulässig. Eignungs-Profile (Druckfestigkeit für AUFSPARREN, Einblas-Form für ZELLULOSE in ZWISCHENSPARREN-Hohlräumen) sind keine Definitions- Bedingungen, sondern Plausibilitäts-Warnungen in der Validierungsfunktion validierePlausibilitaet(): List<Hinweis>.
Konsistenz mit dachaufbau: Die Wärmedämmung ist eine Schicht S_{j} im* Dachaufbau; sie ist kein eigenständiges Aggregat ausserhalb des Aufbaus und teilt mit ihm den Trägerbereich F.
Konsistenz mit schicht: Die Wärmedämmung erbt die Schicht- Eigenschaften (Material-Identifikator, Dicke, Funktionsklasse) und spezialisiert sie um die Material-Achse, die thermo- physikalischen Kennwerte und die konstruktive Subtypisierung.
Nicht-Zirkularität: Die Definition verwendet die Primitive Punkt und ℝ_{>0} sowie die bereits definierten Begriffe dachaufbau, schicht, toleranzen. Die abgegrenzten Begriffe sparren, unterdach, dampfbremse, dachhaut, schalldaemmung, brandschutzschicht treten nur erläuternd auf, nicht definitorisch.
Trivialität der Subtyp-Lage-Bedingung: Die Bedingung (6) ist wohldefiniert, sobald die Tragwerksebene T des Aufbaus identifizierbar ist. Bei Aufbauten ohne Sparren-/Schalungs- Schicht in 𝒮 (z. B. Flachdach mit alleiniger Abdichtung) ist T = ∅; dann ist die Bedingung trivial erfüllt und σ = SONSTIGE ist die zulässige Wahl.

Erläuterung (nicht normativ)¶

Die Wärmedämmung ist im modernen Holzbau die dominierende Schicht des Dachaufbaus, gemessen in Dicke und bauphysikalischer Wirkung. Während eine Eindeckung wenige Zentimeter dick ist und eine Dampfbremse eine Folie unter einem Millimeter, baut die Wärmedämmung typisch 200 bis 400 mm Schichtdicke auf — bei Passivhäusern und Minergie-P-Bauten bis 500 mm und mehr. Sie bestimmt zusammen mit dem U-Wert die Energieeffizienz des Gebäudes und über die volumetrische Wärmekapazität ρ·c_p den sommerlichen Hitzeschutz des ausgebauten Dachgeschosses.

Die konstruktive Subtypen-Trias¶

Im Holzbau ist die geometrische Lage der Wärmedämmung relativ zur Sparren-Tragebene konstruktiv und bauphysikalisch entscheidend. Drei Subtypen sind berufssprachlich durchgängig etabliert:

Subtyp	Lage relativ zum Sparren	Bauphysikalische Charakteristik	Typische Anwendung
Zwischensparrendämmung	im Sparrenfeld, in der Tragwerksebene	inhomogen (Sparrenholz neben Dämmstoff); Wärmebrücke über Sparren; U-Wert-Berechnung nach DIN EN ISO 6946 mit Grenzwertverfahren	klassische Lösung, einfach im Bestand nachzurüsten; begrenzt durch Sparrenhöhe
Aufsparrendämmung	oberhalb der Sparren, über der Tragwerksebene	homogene, durchgehende Dämmebene; wärmebrücken-arm; verlangt druckfeste Dämmplatten; meist Holzfaser, PUR/PIR oder EPS	Neubau im Holzbau-Standard; Sparrenansicht von innen möglich
Untersparrendämmung	unterhalb der Sparren, raumseitig	reduziert Sparren-Wärmebrücken; verkleinert Wohnraum; meist als Zusatz zur Zwischensparrendämmung	Sanierung, Aufwertung bestehender Zwischensparrendämmung

Kombinierte Aufbauten (Zwischen- + Aufsparren-, Zwischen- + Untersparrendämmung) sind im Sanierungs- und Neubau-Holzbau Standard. Die App modelliert solche Aufbauten als mehrere Wärmedämmungs-Instanzen im selben dachaufbau, je Subtyp eine.

Die Trias ist berufssprachlich durchgängig etabliert, aber nicht normativ in DIN- oder SIA-Sinn definiert; siehe quellenkonflikt: Abschnitt 2. Die App führt sie als sealed-Hierarchie unter Waermedaemmung.

Die Material-Achse — orthogonal zur Subtypen-Achse¶

Die Materialwahl ist von der konstruktiven Lage unabhängig: jeder Subtyp kann mit jedem der Materialien realisiert werden, mit unterschiedlichen Eignungs-Profilen. Für die Modellierung wird die Material-Achse als getrenntes Feld geführt (siehe Implementierungs- hinweis); für die Begriffsdefinition ist sie als enum-wertige Tupel-Komponente m ∈ ℳ in der Konsistenzbedingung (3) verankert.

Material	Produkt-Norm	λ_D typisch (W/(m·K))	Holzbau-Anwendung
Mineralwolle (MW)	DIN EN 13162	0,032 – 0,040	Zwischen-, Untersparren; klassisch
Holzfaser (WF)	DIN EN 13171	0,038 – 0,050	alle drei Subtypen; Sommerhitzeschutz
Zellulose (LFCI)	EN 15101-1	0,040 – 0,045	Zwischensparren (Einblas)
PUR/PIR	DIN EN 13165	0,022 – 0,028	Aufsparren; höchste Dämmwirkung pro mm
EPS	DIN EN 13163	0,032 – 0,040	Aufsparren Flachdach, seltener Steildach
XPS	DIN EN 13164	0,033 – 0,038	Perimeter, Umkehrdach; selten Steildach
Hanf, Schafwolle, Flachs	nationale Zulassungen	0,035 – 0,045	Zwischensparren, ökologisch

Schweiz vs. Deutschland — strenger im Mindestwert, konvergent im Hochwertstandard¶

Die Schweiz folgt SIA 380/1 + MuKEn 2014 als Bezugsrahmen, Deutschland GEG 2024 + DIN 4108-2. Die Mindestanforderungen (Sekundärquellen-Konsens) trennen sich asymmetrisch:

Regime	U-Wert Dach (max.)	Geltungsbereich
DIN 4108-2 Mindestwärmeschutz	≈ 0,74 W/(m²·K)	DE, Mindestschutz gegen Tauwasser/Schimmel
GEG 2024 Steildach	0,24 W/(m²·K)	DE, Neubau/Erneuerung
MuKEn 2014 Dach Neubau	0,17 W/(m²·K)	CH, Neubau (kantonal vollzogen)
MuKEn 2014 Sanierung	0,20 W/(m²·K)	CH, Erneuerung
KfW-Effizienzhaus 40	0,15 W/(m²·K)	DE, Förderung
Minergie Modul Dach	0,15 W/(m²·K)	CH, Label
Minergie-P	≈ 0,10 W/(m²·K)	CH, Label
Passivhaus	< 0,15 W/(m²·K), typisch < 0,10	DE/intl., Label

Die konkreten Werte sind normabhängig und im Wandel; sie werden nicht in die Begriffsdefinition, sondern in die Funktion pruefeWaermeschutzAnforderung(...) ausgelagert.

Sommerhitzeschutz — Auswertungs-, nicht Definitionsgrösse¶

Im ausgebauten Dachgeschoss bestimmen die Phasenverschiebung (Zeit zwischen Aussenoberflächen-Temperaturmaximum und Innenoberflächen-Temperaturmaximum) und die Amplitudendämpfung (Verhältnis aussen/innen) das thermische Sommer-Verhalten. Beide hängen von der volumetrischen Wärmekapazität ρ·c_p und der Schichtdicke ab; Holzfaser- und Zellulosedämmstoffe haben hier einen deutlichen Vorteil gegenüber Mineralwolle und Schaumstoffen. Die in der Holzbau-Praxis verbreiteten Zielwerte (Phasenverschiebung ≥ 10 h, vorzugsweise 12 h; Amplitudendämpfung 10 – 15) sind Praxis-Konvention auf Basis von Lehrbuch- und Hersteller- Empfehlungen, nicht normverankert (siehe quellenkonflikt: Abschnitt 5). DIN 4108-2 Kapitel 8 regelt den sommerlichen Wärmeschutz über Sonneneintragskennwerte, ohne explizite Phasenverschiebungs-Schwellwerte. Die Bewertung erfolgt über die externe Funktion pruefeSommerhitzeschutz(aufbau, klimazone, norm) und nicht in der Begriffsdefinition.

Wärmedämmung im Flachdach¶

In Flachdach-Aufbauten (alle α_i ≈ 0 für die zugeordneten Dachflächen) entfällt die Sparren-Tragebene; die Wärmedämmung liegt dann typisch vollflächig als druckfeste Plattendämmung unter der Dachabdichtung. Der konstruktive Subtyp ist hier SONSTIGE; die Lage-Bedingung (6) ist trivial erfüllt (T = ∅).

Beziehungen¶

Oberbegriff: schicht (entsteht parallel zu diesem Eintrag, siehe quellenkonflikt: Abschnitt 7).
Bestandteil von: Eine Wärmedämmung ist eine Schicht S_{j*} eines dachaufbau (SchichtFunktion.WAERMEDAEMMUNG).
Spezialisierungen (sealed-Hierarchie nach konstruktiver Lage):
Zwischensparrendämmung — in der Sparren-Tragebene, im Sparrenfeld.
Aufsparrendämmung — oberhalb der Sparren, durchgehende Dämmebene.
Untersparrendämmung — raumseitig unterhalb der Sparren.
Sonstige Wärmedämmung — Flachdach, vollflächig ohne Sparren-Bezug, oder konstruktive Sonderfälle.

Die sealed-Hierarchie strukturiert ausschliesslich die konstruktive Lage, nicht das Material; siehe quellenkonflikt: Abschnitt 6. - Material-Achse (orthogonal): Material m ∈ ℳ als Tupel- Komponente. Eignungs-Profile (Druckfestigkeit, Einblas-Form) werden über Plausibilitäts-Warnungen geprüft, nicht über Subtyp-Constraints. - Verwendung: - Funktions-Schicht im dachaufbau (SchichtFunktion.WAERMEDAEMMUNG). - Trägerschicht des U-Werts und des Wärmedurchlasswiderstands R_W = d/λ nach DIN EN ISO 6946. - Abgrenzung: - schicht (Oberbegriff, parallel entstehend): Wärme- dämmung ist eine Spezialisierung der allgemeinen Schicht durch die Funktionsklasse WAERMEDAEMMUNG und die zusätzlichen Material- und Subtyp-Tupelelemente. - sparren: Tragwerks-Bauteil; bei Zwischensparrendämmung bildet der Sparren in derselben Schichtebene wie die Wärmedämmung eine konstruktive Wärmebrücke (siehe quellenkonflikt: Abschnitt 2 und Bedingung (6)). Der Sparren ist nicht Bestandteil der Wärmedämmung, aber geometrisch in derselben Tragwerksebene wie eine Zwischensparrendämmung. - unterdach: liegt äusserhalb (über) der Wärmedämmung, funktional getrennt (zweite wasserführende Ebene vs. thermische Trennebene). Material teilweise gleich (Holzfaser-Unterdachplatte vs. Holzfaser-Dämmplatte), Funktion streng verschieden. - dampfbremse: liegt raumseitig vor der Wärmedämmung; verhindert Eintrag von Feuchte aus dem Innenraum in die Dämmebene. Dampfbremse ist kein Wärmedämmstoff (λ irrelevant; s_d-Wert ist die definierende Eigenschaft). - dachaufbau (Aggregat-Träger): die Wärmedämmung ist eine Schicht im Dachaufbau, nicht der Aufbau selbst. - dachhaut: die geometrische Hüllfläche über der äussersten Schicht; die Wärmedämmung liegt im Inneren des Aufbaus, nicht an der Dachhaut. - schalldaemmung (Forward-Verweis A, künftiger Eintrag): funktional getrennt; Wärmedämmung minimiert Wärmestrom, Schalldämmung minimiert Luft- oder Trittschall. Materiell teilweise gleicher Stoff (Mineralwolle wirkt thermisch und akustisch); im Modell trotzdem getrennte Funktionsklasse (SchichtFunktion.WAERMEDAEMMUNG vs. künftig SchichtFunktion.SCHALLDAEMMUNG). Trigger für die Glossar-Anlage: erste Modellierung einer Geschossdecken-Schallschutz-Anforderung nach SIA 181 oder DIN 4109. - brandschutzschicht (Forward-Verweis A, künftiger Eintrag): funktional getrennt (Feuerwiderstand statt Wärmestrom-Begrenzung); Materialwahl überlappt teilweise (Mineralwolle hat A1-Brandklasse), die Funktion ist unterschiedlich. Trigger für die Glossar-Anlage: erste Modellierung eines Brandschutz-Nachweises nach SIA 232/1 Anhang oder DIN 4102 / EN 13501.

Implementierungshinweis¶

Datentyp (Domänen-Schicht, Kotlin, Schicht domain.bauteil):

sealed class Waermedaemmung {
    abstract val dachflaechen: List<Dachflaeche>
    abstract val schicht: Schicht           // mit funktion = WAERMEDAEMMUNG
    abstract val material: Daemmmaterial    // orthogonale Material-Achse
    abstract val lambda: Double             // W/(m·K), Bemessungswert λ_B
    abstract val rohdichte: Double          // kg/m³
    abstract val cP: Double                 // J/(kg·K)

    data class Zwischensparrendaemmung(
        override val dachflaechen: List<Dachflaeche>,
        override val schicht: Schicht,
        override val material: Daemmmaterial,
        override val lambda: Double,
        override val rohdichte: Double,
        override val cP: Double
    ) : Waermedaemmung() {
        // Zusatz-Invariante (kontextabhängig, in Factory geprüft):
        //   schicht-Index j* liegt in der Tragwerksebene T (Sparren-
        //   /Schalungs-Schicht des Aufbaus); inhomogene U-Wert-
        //   Berechnung nach DIN EN ISO 6946 mit Grenzwertverfahren.
    }

    data class Aufsparrendaemmung(
        override val dachflaechen: List<Dachflaeche>,
        override val schicht: Schicht,
        override val material: Daemmmaterial,
        override val lambda: Double,
        override val rohdichte: Double,
        override val cP: Double
    ) : Waermedaemmung() {
        // Zusatz-Invariante: schicht-Index j* > max(T); homogene
        // Berechnung; Plausibilitäts-Warnung, wenn material nicht
        // druckfest (z. B. nicht-druckfeste Mineralwolle).
    }

    data class Untersparrendaemmung(
        override val dachflaechen: List<Dachflaeche>,
        override val schicht: Schicht,
        override val material: Daemmmaterial,
        override val lambda: Double,
        override val rohdichte: Double,
        override val cP: Double
    ) : Waermedaemmung() {
        // Zusatz-Invariante: schicht-Index j* < min(T); typisch
        // als Ergänzung zu Zwischensparrendaemmung.
    }

    data class SonstigeWaermedaemmung(
        override val dachflaechen: List<Dachflaeche>,
        override val schicht: Schicht,
        override val material: Daemmmaterial,
        override val lambda: Double,
        override val rohdichte: Double,
        override val cP: Double
    ) : Waermedaemmung() {
        // Flachdach, vollflächig ohne Sparren-Bezug; keine
        // Lage-Bedingung.
    }

    // Abgeleitete Grösse: Wärmedurchlasswiderstand der Schicht
    // R_W = d / λ  (m²·K/W).
    fun waermedurchlasswiderstand(): Double = schicht.dicke / 1000.0 / lambda
    //                                          mm → m
}

enum class Daemmmaterial {
    MINERALWOLLE,      // DIN EN 13162; Glas- oder Steinwolle
    HOLZFASER,         // DIN EN 13171
    ZELLULOSE,         // EN 15101-1; Einblas
    PUR_PIR,           // DIN EN 13165
    EPS,               // DIN EN 13163
    XPS,               // DIN EN 13164
    HANF,              // nationale Zulassung
    SCHAFWOLLE,        // nationale Zulassung
    FLACHS,            // nationale Zulassung
    SONSTIGE
}

// Lokale Norm-Aufzählung für Wärmedämmungs-Klassifikation.
// Eindeutiger Klassenname, um Kollisionen mit lokalen Norm-Enums in
// hg_unterdach.md (UnterdachNorm) und hg_dachabdichtung.md
// (AbdichtungsNorm) zu vermeiden — Wertebereiche überlappen
// teilweise (SIA_232_1, DIN_4108_3, ZVDH_FACHREGEL, OENORM_B_4119
// sind auch in UnterdachNorm enthalten), aber Untermengen sind
// unterschiedlich. Folgearbeit-Trigger: sobald mehrere
// Bauphysik-Module dieselbe Norm referenzieren, wird ein
// zentraler hg_norm.md angelegt und die lokalen Enums migriert.
enum class WaermedaemmungsNorm {
    // Übergreifende Holz-/Dachbau-Normen (auch in UnterdachNorm enthalten):
    SIA_232_1, DIN_4108_3, ZVDH_FACHREGEL, OENORM_B_4119,
    // Wärmeschutz-Erweiterung:
    GEG_2024, DIN_4108_2, DIN_EN_ISO_6946, DIN_EN_ISO_9229,
    SIA_180, SIA_380_1, MUKEN_2014,
    PASSIVHAUS_2015, MINERGIE_2017, MINERGIE_P_2017,
    KFW_70_2024, KFW_55_2024, KFW_40_2024
}

enum class BauteilArt { STEILDACH, FLACHDACH, AUSSENWAND, BODEN, SONSTIGES }
enum class MassnahmenArt { NEUBAU, SANIERUNG, MINDESTSCHUTZ }

// U-Wert-Effizienzklasse aus U-Wert + Norm; analog
// klassifiziereNachStauwasser an hg_unterdach.md.
fun klassifiziereNachUWert(uWert: Double, norm: WaermedaemmungsNorm): Effizienzklasse = when (norm) {
    WaermedaemmungsNorm.GEG_2024            -> when { uWert <= 0.15 -> Effizienzklasse.HOCHEFFIZIENT
                                       uWert <= 0.20 -> Effizienzklasse.EFFIZIENT
                                       uWert <= 0.24 -> Effizienzklasse.GEG_KONFORM
                                       uWert <= 0.74 -> Effizienzklasse.MINDESTSCHUTZ
                                       else          -> Effizienzklasse.UNGENUEGEND }
    WaermedaemmungsNorm.MUKEN_2014          -> when { uWert <= 0.10 -> Effizienzklasse.HOCHEFFIZIENT
                                       uWert <= 0.17 -> Effizienzklasse.MUKEN_NEUBAU
                                       uWert <= 0.20 -> Effizienzklasse.MUKEN_SANIERUNG
                                       else          -> Effizienzklasse.UNGENUEGEND }
    WaermedaemmungsNorm.MINERGIE_2017       -> if (uWert <= 0.15) Effizienzklasse.MINERGIE_KONFORM
                                else                Effizienzklasse.UNGENUEGEND
    WaermedaemmungsNorm.MINERGIE_P_2017     -> if (uWert <= 0.10) Effizienzklasse.MINERGIE_P_KONFORM
                                else                Effizienzklasse.UNGENUEGEND
    WaermedaemmungsNorm.KFW_40_2024         -> if (uWert <= 0.15) Effizienzklasse.KFW_40_KONFORM
                                else                Effizienzklasse.UNGENUEGEND
    WaermedaemmungsNorm.PASSIVHAUS_2015     -> if (uWert <= 0.15) Effizienzklasse.PASSIVHAUS_KONFORM
                                else                Effizienzklasse.UNGENUEGEND
    else                     -> error("WaermedaemmungsNorm $norm: U-Wert-Schwellen nicht hinterlegt.")
}

// Anforderungsprüfung gegen eine Norm; analog
// pruefeMindestlueftung an hg_konterlatte.md.
fun pruefeWaermeschutzAnforderung(
    uWert: Double,
    norm: WaermedaemmungsNorm,
    bauteilArt: BauteilArt,
    massnahmenArt: MassnahmenArt
): Resultat<Unit> {
    val grenze = when (norm to bauteilArt to massnahmenArt) {
        // GEG 2024
        (WaermedaemmungsNorm.GEG_2024 to BauteilArt.STEILDACH to MassnahmenArt.NEUBAU)     -> 0.24
        (WaermedaemmungsNorm.GEG_2024 to BauteilArt.STEILDACH to MassnahmenArt.SANIERUNG)  -> 0.24
        (WaermedaemmungsNorm.GEG_2024 to BauteilArt.FLACHDACH to MassnahmenArt.NEUBAU)     -> 0.20
        // MuKEn 2014
        (WaermedaemmungsNorm.MUKEN_2014 to BauteilArt.STEILDACH to MassnahmenArt.NEUBAU)    -> 0.17
        (WaermedaemmungsNorm.MUKEN_2014 to BauteilArt.STEILDACH to MassnahmenArt.SANIERUNG) -> 0.20
        // DIN 4108-2 Mindestschutz
        (WaermedaemmungsNorm.DIN_4108_2 to BauteilArt.STEILDACH to MassnahmenArt.MINDESTSCHUTZ) -> 0.74
        else -> return Resultat.Fehler.NormSchwellwertFehlt(norm, bauteilArt, massnahmenArt)
    }
    return if (uWert <= grenze) Resultat.Ok(Unit)
           else Resultat.Fehler.WaermeschutzUngenuegend(uWert, grenze, norm)
}

Einheiten: Schichtdicke in mm (Double; über Schicht.dicke geerbt); λ in W/(m·K); ρ in kg/m³; c_p in J/(kg·K); U-Wert in W/(m²·K); R-Wert in m²·K/W. Niemals Einheiten in derselben Funktion mischen — die Funktion waermedurchlasswiderstand() konvertiert mm → m explizit.
Trennung Definition ↔ Norm-Schwellen: Die definitorische Bedingung ist allein die positive Dicke + positive Material- kennwerte + Funktionsklasse + Lage-Bedingung. Konkrete U-Wert- Schwellen (0,15 / 0,17 / 0,20 / 0,24 / 0,74 W/(m²·K)) leben ausschliesslich in pruefeWaermeschutzAnforderung(...) und klassifiziereNachUWert(...) — analog zur Auslagerung normabhängiger Schwellen in klassifiziereNachStauwasser(...) an hg_unterdach.md. Damit bleibt Waermedaemmung normagnostisch und gegen Norm-Revisionen stabil.
Invarianten (in init jedes Subtyps prüfen, bei Verletzung Resultat.Fehler bzw. Entartet-Variante zurückgeben, niemals Exception werfen):
dachflaechen.isNotEmpty() ⇒ sonst Entartet.LeerTraeger.
schicht.funktion == SchichtFunktion.WAERMEDAEMMUNG ⇒ sonst Entartet.FalscheSchichtFunktion.
schicht.dicke > Toleranzen.LAENGE_EPS ⇒ sonst Entartet.NullDickeSchicht.
lambda > 0.0 && rohdichte > 0.0 && cP > 0.0 ⇒ sonst Entartet.NichtpositiveMaterialkennwerte.
lambda in 0.015..0.070 ⇒ sonst Plausibilitäts-Warnung (kein harter Fehler) — Werte ausserhalb sind selten, aber nicht ausgeschlossen (Vakuumdämmung, Aerogel, ungewöhnliche Schüttungen).
Subtyp-spezifische Lage-Bedingungen (j* in/oberhalb/unterhalb der Tragwerksebene) werden in Factory-Methoden des umgebenden Dachaufbau geprüft, nicht im init der Wärmedämmung, weil sie Kontext-Informationen aus 𝒮 brauchen.
Edge Cases:
Mehrere Wärmedämm-Schichten im selben Aufbau (Zwischen + Auf, Zwischen + Unter): werden als mehrere Waermedaemmung- Instanzen modelliert, je Schicht eine; jede mit eigenem Subtyp und Material.
Flachdach ohne Sparren-Bezug: Subtyp SonstigeWaermedaemmung ist die zulässige Wahl; Tragwerksebene T = ∅, Lage-Bedingung trivial erfüllt.
Druckfestigkeits-Anforderung bei Aufsparren: wird nicht als harte Invariante erzwungen (das Material-Feld ist enum-wertig, nicht über Druckfestigkeits-Kennwerte qualifiziert); Plausibilitäts-Warnung über validierePlausibilitaet(): List<Hinweis>.
Einblas-Form bei Zellulose: analog Plausibilitäts-Warnung, keine harte Invariante; Zellulose ausserhalb eines geschlossenen Hohlraums (Zwischensparrenfeld) ist konstruktiv ungewöhnlich, aber nicht ausgeschlossen.
Mindestwärmeschutz nach DIN 4108-2 vs. Energieeffizienz nach GEG/MuKEn: unterschiedliche MassnahmenArt-Werte; die Validierungsfunktion unterscheidet zwischen MINDESTSCHUTZ (0,74 W/(m²·K)) und NEUBAU/SANIERUNG (0,17 – 0,24 W/(m²·K)).
Abgeleitete Eigenschaften (als Funktionen, keine Felder):
waermedurchlasswiderstand(): Double = schicht.dicke / 1000.0 / lambda (m²·K/W). Konvertiert mm → m explizit.
subtyp(): WaermedaemmSubtyp — Sealed-Diskriminator (ZWISCHENSPARREN / AUFSPARREN / UNTERSPARREN / SONSTIGE) zur Listen-Klassifikation.
volumetrischeWaermekapazitaet(): Double = rohdichte * cP (J/(m³·K)) — relevant für Sommerhitzeschutz-Bewertung ausserhalb der Definition.

Quellen¶

Primär (normativ):

DIN EN ISO 9229:2020-06 „Wärmeschutz – Begriffe", deutsche Fassung. (Einzige Vokabular-Norm im Korpus; Volltext nicht zugänglich.)
DIN 4108-2:2013-02 „Wärmeschutz und Energie-Einsparung in Gebäuden – Teil 2: Mindestanforderungen an den Wärmeschutz", Abschnitt 5 und Abschnitt 8.
DIN EN ISO 6946:2018-03 „Bauteile – Wärmedurchlasswiderstand und Wärmedurchgangskoeffizient – Berechnungsverfahren".
SIA 180:2014 „Wärmeschutz, Feuchteschutz und Raumklima in Gebäuden", Schweizerischer Ingenieur- und Architektenverein.
SIA 380/1:2016 „Thermische Energie im Hochbau", Schweizerischer Ingenieur- und Architektenverein.
GEG 2024 (Gebäudeenergiegesetz), Anlage 7.
MuKEn 2014 (Mustervorschriften der Kantone im Energiebereich), Konferenz der kantonalen Energiedirektoren EnDK.
DIN EN 13162:2015-04 (Mineralwolle).
DIN EN 13163:2017-02 (EPS).
DIN EN 13164:2015-04 (XPS).
DIN EN 13165:2016-09 (PUR/PIR).
DIN EN 13171:2015-04 (Holzfaser).
DIN EN 15101-1:2019-12 (Zellulose, an Verwendungsstelle hergestellt).

Sekundär:

Lignum (Hrsg.): Lignatec — Geneigte Dächer in Holzbauweise. Lignum, Zürich, aktuelle Auflage.
Mönck, W.; Rug, W.: Holzbau – Bemessung und Konstruktion.
Aufl., Beuth Verlag 2015.
Natterer, J.; Herzog, T.; Volz, M.: Holzbau-Atlas.
Aufl., Birkhäuser 2003.
Informationsdienst Holz: Wärmeschutz im Holzbau. Holzbau Deutschland / DGfH.
Wegleitung zur Norm SIA 180, SIA.
Minergie Schweiz, Anforderungen Modul Dach/Wand (minergie.ch).
Passivhaus Institut Darmstadt, Kriterien.
KfW Bankengruppe, technische Mindestanforderungen Effizienzhaus 40 / 55 / 70.
Polybau, Fachbuch Geneigte Dächer. Schweizer Berufsbildung Gebäudehülle, Uzwil.

Korpus (nicht autoritativ):

baunormenlexikon.de zu DIN 4108-2, DIN EN ISO 6946, DIN EN 13162–13171.
ift Rosenheim, Erläuterungen zu DIN 4108-2.
holzfaser.org, Verband Dämmstoffe aus nachwachsenden Rohstoffen.
baunetzwissen.de zu Wärmedämmstoffen.
energie-fachberater.de zu GEG-Anforderungen und Sparrendämmung.
gutex.de, GEG-Erklärungen.
sager.ch, MuKEn-Englischfassung.
co2online.de, ROCKWOOL, energie-experten.org zu Zwischensparrendämmung.
trockenbau-ausbau.de zu Sommerhitzeschutz.

Recherche-Bericht: docs/recherche/2026-05-14_hg_waermedaemmung.md.

Quelle herunterladen¶

Markdown Plain Text BibTeX