I will visit Berlin (Germany) during 12-19 of June.
Are there any interesting mandolin luthiers or musical-instrument shops there?