skall omgifvas af en granit- ooh betonmur af 295 meters längd och skall vara färdig den 1 juli 1893.