( 1415 ) Pederingska lokalen.