Gigantisch zwembad is het oudste gebouw van Nederland