Preheat the oven to 180 degrees Celsius/ 350 degrees Fahrenheit.
Dough: Mix the butter, sugar, and vanilla extract until light and fluffy. Mix the flour and the salt, add them to the butter mixture, and mix with a spoon first and then with your hands to form the crumbs.
You can use a food processor: mix the butter, sugar, and vanilla until light and fluffy, add the dry ingredients and pulse a few times until the dough turns into crumbs.
Bake pastry: Press ¾ of the crumb dough into the pie dish (of about 23 cm/ 9 inches diameter), pressing up the sides of the dish as well. Bake for 20-25 minutes until lightly golden.
Prepare cherries: While the crumb crust is in the oven, pit and halve the cherries. Mix them with sugar and vanilla extract.
Bake the cherry pie: Remove the crust from the oven. Add the cherries on top in an even layer. Sprinkle the remaining dough on top to form a crumble topping. Bake for further 20-25 minutes until the crumble topping is nicely browned.
Let cool in the form for about 20 minutes before transferring it to a platter. Or serve directly from the baking dish as suggested above.