Added Übung6 spezifikation for main and transactions.list