Wie hoch ist ein EFH?