(n.) A free city of the former German empire.