Kirschmichel mit Vanillesauce