befann sig , måste förvisso hafvavarit