Detta var , så vidt vi veta,