hade från en af Tivolis större restauranter stulit en del servis saker — det uppgifves för bortåt 300 kr.