Smartphones in der Mikrowelle: Formale und experimentelle Machbarkeitsstudie zum Fingerabdruck der Corona-Warn-App