murphi version of german.fl