Thanks everyone! That was very helpful -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20210505/6e964b9b/attachment.html>