Doubledefintion implementiert