re: #113 neverquit

They were not owned by the state (for the nth time). Do you think Krupps was owned by the German state? Look it up.