Aktier i Krupps stenkolsbolag,