Wie hoch ist eine Filigrandecke?