Såsom verktyg hade hanbegagnat