— Ny badinrättning i Kristiania.