element(X, [X|_]).
element(X, [_|Xs]) :-
    element(X, Xs).

konkatenation([],Ys,Ys).
konkatenation([X|Xs],Ys,[X|Zs]) :-
    konkatenation(Xs,Ys,Zs).
