No result about Kleineschrijfseltjes