Vid sjutiden var slutligenmängdens