Är Karljohanssvamp och stensopp samma svamp eller är det olika svampar?