Javadoc für Karte / Karte permanent pickable gemacht