Hr von Ehrenheim yrkade ,att