floraler Spitzenensatz