warschauer normalform: nicht gefunden