A virtual time machine for the Port of Oslo of the 1700s