Thanks very much for the replies so far, which I appreciate. If all is closed I will then leave aside the restaurants near the train station and rather try as suggested 2 floors up after customs.
Does anyone have experience how long immigration usually takes for EU passport holders?
Happy new year everyone.