class germanBoolNames : public std::numpunct_byname<char> {
  public:
    germanBoolNames (const char *name)
      : std::numpunct_byname<char>(name) {
    }
  protected:
    virtual std::string do_truename () const {
        return "wahr";
    }
    virtual std::string do_falsename () const {
        return "falsch";
    }
};