Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences (Logical Methods in Computer Science, 2015)