Dice butter. Put flour, sugar, salt, vanillin sugar, egg yolk and butter in a bowl. Work into crumbles with your hands
If you halve the dough please take 1 egg yolk anyway