* För korthetens skull beteckna vi härmed