Was ist die Stammfunktion von sin x?