Workstation WG meeting, 12 July (secretary: Jens)