Noteringen å prima gjuterieokes Kr23