This should have been Frau. It just goes to show how terrible my knowledge of German is (a language I never learned), I didn’t know the diminutive had gone out of use around the time of decimalization. I blame old war movies.