If after losing your valuables you've panicked, searched around and reported it to police, it may be worth your while checking with the lost and found office, run by the city authorities. It is here where anything found on the street eventually ends up! Get this, for 2017 alone there were 690 items handed in, so you never know, you may just be in luck here!
Open 08:00-16:00. Tue 09:00-17:00, Closed Sat, Sun.