Wie viel Holz exportiert Deutschland?