Zehnjähriger löst Polizeieinsatz in Ravensburg aus