Polismästaren i Christiania Carl Johan Michelet.