( 5237 ) Königreich Preussen.