憲法や公務員法に，公務員はナチスの歌を歌えと規定されていたら，公務員は歌わなければならない。