byggnad , under namn as Porto Alegre&