Der Hafenort Praia auf der Insel Graciosa