Abkürzungen: q. e. d. (Details)