Bluetooth headphones lost, can you locate them or something?

I was at school today with my Huawei Freebuds 3 as always, and as always had it in my jacket pocket. Now they're gone and I couldn't find them again. They actually couldn't have fallen out, that is, probably those who took them with them. Is there any way I can find it again? I got the idea to just walk around the school to see if I can connect with them, but the case is closed, then it doesn't work, right?

Hi

At Apple there's a function / app that can be used to locate the devices in the event of such problems