den måste alltså hafva bortstulits.