Définitionshartmannite