intendentsbefattningen vid Loka hälsobrunnsöcli badinrättning.