It's both :D The Gelateria Girotti in Dresden.
https://www.gelateriagirotti.de

And thanks for asking and prompting me to go the website! Apparently they're moving, and since the new location isn't quite finished, they haven't even opened for the summer season yet. Oh well, next week doesn't look like ice cream weather anyway.