German Colonialism: A Short History