( 6237 ) Königreich Preussen.