Branch force pushed by DieterHolvoet at 2023-01-05T10:22:13+00:00, 3331098-fix-subclassing-and moved from this tag to 48c63c28388d8c5819ecef7301b45631c75b7272
Branch force pushed by DieterHolvoet at 2023-01-05T10:22:13+00:00, 3331098-fix-subclassing-and moved from this tag to 48c63c28388d8c5819ecef7301b45631c75b7272