Translated from English ; minor errors may occur.