remove from the heat and mash the potatoes with the butter until no lumps are left, then heat 100ml whipping cream and 3 tbsp milk together and add that to the potatoes. beat 2-3 tbsp grainy mustard in and season to taste.