As part of the "Museums for 10" manifestation on World Museum Day on May 18, 2023, at the Coal Mining Museum in Senjski Rudnik, we…