Michelsen hade ställt öfverste Krohn inför alternativet: