hvilken af staden arrenderar anstalten mot 10,000 kr.