Diefenhardts-Eiche. 
