Oudheidkamer waarschijnlijk 1 oktober 2020 weer open