Inrättandet af ett folkbad i Kristiania är nu definitivt bestämdt.