Mammutbaum ist noch recht klein