過去の回答の訂正です

もうだれも見ないとは思いますが、レスの趣旨に関わるので。
ブダペスト→ウィーン飛行時間は25分ではなく、1999年8月14日 OS802便(0835/0930)で55分でした。

ホテルでも早朝、朝ご飯を出してもらったのですが、この区間所要時間55分でもしっかり朝食が出ました。