Für die oberste Geschossdecke ist seit 2016 ein U-Wert von 0,24 W/(m²K) Pfilcht, wenn vormals ungedämmt & nach 2002 erworben, auch im Bestand und auch nachzurüsten. Wenn anpacken würde ich daher je nach präferiertem Dämmstoff ein paar cm mehr nehmen und es konform machen (verlinkten Rechner...