Norwegian circulative coins lack proof variant (or incorrectly filed). [Risolto]

Both the 1993 50 øre and 1 krone lacks a field for the K mintmark proof version.
Both the 1994 50 øre and 1 krone lacks a field for the K star (K★) mint mark version. 1994 50 øre also lacks a normal K★ mintmark from uncirculated coin sets.

1993 proof coin documentation:

1994 (K★) coin documentation:

1994 normal circulation star mintmark documentation:

As you are now referee of Norway, I guess this can be closed?