Lost: Lost Bag with wallet

Hi Guys, 

my boyfriends fanny bag got stolen on a bus stop near Playa del Ingles last night, unfortunately including his wallet.

If you found it somewhere, we would highly appreciate a message! 
Especially the cards are very important to us (ID, driver license,…).
His first name is Paulo. 

Thanks in advance and cheers!