• För korthetens skull beteckna vi härmed