@ -45,7 +45,6 @@ let
"mpq"
"nict"
"nist"
"nist2"
"no"
"npl1"
"npl2"
@ -87,6 +86,7 @@ let
"innsbruck4"
"innsbruck5"
"luh"
"nus"
"ptb3satellite"
"ptb7"