Unable to answer "Is this still here?" – on level 0: Mondo Comico (Shop) – https://osm.org/node/4449540792 via StreetComplete 62.2:

Used to be a small shop/counter inside the Dice Cup cafe. The space is now used as extra seating space for the Dice Cup itself.