mandelkraenzchen (almond cookies)