Facilities of type Fire extinguisher (BornHack 2023 - undecided)