Sun, 09 Apr 2023 19:03:58 +0200
refactoring of collections to make use of destructors in map implementations