Vi anteckna för tillfallet följande: