The footprint of Europe in Berlin’s street names