En idrottshall kostade då 10 kr tim .