Pinus mugo ‚Gnom‘