Nijmegen Sterren (DC Extended Version)