som Tivoli-bolaget hittills haft att erlägga , uppgär till 20,000 kr.