wie viel von der antarktis gehört zu deutschland