Just to share back my experience for Christmas eve in Dresden, though most things are closed, there were still some non-german restaurants open around/near the old town, e.g. Thai, Italian restaurants, local burger, pizza places and definitely doner shops. If one is not too picky, definitely can find something to eat. More restaurants re-opened on Dec 25 and 26.