御亭，一座夏日小憩凉亭。