Edited translation.