¿Cómo se llamaban los cuatro trols que hacían la vida imposible a David el Gnomo?