"alternation theorem" Deutsche bedeutung