Wie viel Prozent der Gesamtfläche von Deutschland bedeckt ist bewaldet?