cf. Stieleiche Sommereiche.