Das Deutsche Museum in München (Der Holzwurm, 1956)